msg-spec-loc(snd;i) == l:IdLnk. (l  msg-spec-links(snd))  source(l) = i 

latex

---

clarification:

msg-spec-loc(snd;i) == l:IdLnk. (l  msg-spec-links(snd)  IdLnk)  source(l) = i  Id 

latex

Definitions	x:A. B(x), P  Q, (x  l), msg-spec-links(snd), IdLnk, s = t, Id, source(l)
FDL editor aliases	msg-spec-loc